Contributions of formal language theory to the study of dialogues

For more than 30 years, the problem of providing a formal framework for modeling dialogues has been a topic of great interest for the scientific areas of Linguistics, Philosophy, Cognitive Science, Formal Languages, Software Engineering and Artificial Intelligence. In the beginning the goal was to develop a "conversational computer", an automated system that could engage in a conversation in the same way as humans do. After studies showed the difficulties of achieving this goal Formal Language Theory and Artificial Intelligence have contributed to Dialogue Theory with the study and simulation of machine to machine and human to machine dialogues inspired by Linguistic studies of human interactions. The aim of our thesis is to propose a formal approach for the study of dialogues. Our work is an interdisciplinary one that connects theories and results in Dialogue Theory mainly from Formal Language Theory, but also from another areas like Artificial Intelligence, Linguistics and Multiprogramming. We contribute to Dialogue Theory by introducing a hierarchy of formal frameworks for the definition of protocols for dialogue interaction. Each framework defines a transition system in which dialogue protocols might be uniformly expressed and compared. The frameworks we propose are based on finite state transition systems and Grammar systems from Formal Language Theory and a multi-agent language for the specification of dialogue protocols from Artificial Intelligence. Grammar System Theory is a subfield of Formal Language Theory that studies how several (a finite number) of language defining devices (language processors or grammars) jointly develop a common symbolic environment (a string or a finite set of strings) by the application of language operations (for instance rewriting rules). For the frameworks we propose we study some of their formal properties, we compare their expressiveness, we investigate their practical application in Dialogue Theory and we analyze their connection with theories of human-like conversation from Linguistics. In addition we contribute to Grammar System Theory by proposing a new approach for the verification and derivation of Grammar systems. We analyze possible advantages of interpreting grammars as multiprograms that are susceptible of verification and derivation using the Owicki-Gries logic, a Hoare-based logic from the Multiprogramming field

Specifying Protocols for Knowledge Transfer and Action Restriction in Multiagent Systems

In this paper we present the MAP language for expressing knowledge transfer and action restriction between agents in multiagent systems. Our approach is founded on the definition of patterns of dialogues between groups of agents, expressed as protocols. Our protocols are flexible and directly executable. Furthermore, our language allow us to specify the connection between communication and knowledge transfer in a way that is independent of the specific reasoning techniques used

The MAP^a Language of Agent Dialogues

In this paper we present the MAP language for expressing coordination and communication between agents in multiagent systems. This is accomplished by defining patterns of dialogues between groups of agents, expressed as protocols. Our protocols are flexible and directly executable. Furthermore, our language allow us to specify the connection between communication and knowledge management in a way that is independent of the specific reasoning techniques used

MAP^a: a Language for Modelling Conversations in Agent Environments

In this paper we present the MAP language for expressing dialogues in multiagent systems. This is accomplished by defining patterns of communication between groups of agents, expressed by protocols. Our language is directly implementable and allows to specify the connection between communication and knowledge management in a way that is independent of the specific reasoning techniques used. Here we introduce MAP formal syntax and we point out added features with respect to its predecessor, the MAP language

Argumentation-Logic for Explaining Anomalous Patient Responses to Treatments

The EIRA system has proved to be successful in the detection of anomalous patient responses to treatments in the Intensive Care Unit (ICU). One weakness of EIRA is the lack of mechanisms to describe to the clinicians, rationales behind the anomalous detections. In this paper, we extend EIRA by providing it with an argumentation-based justification system that formalizes and communicates to the clinicians the reasons why a patient response is anomalous. The implemented justification system uses human-like argumentation techniques and is based on real dialogues between ICU clinicians

Weaning from mechanical ventilation in intensive care units across 50 countries (WEAN SAFE): a multicentre, prospective, observational cohort study

Background Current management practices and outcomes in weaning from invasive mechanical ventilation are poorly understood. We aimed to describe the epidemiology, management, timings, risk for failure, and outcomes of weaning in patients requiring at least 2 days of invasive mechanical ventilation. Methods WEAN SAFE was an international, multicentre, prospective, observational cohort study done in 481 intensive care units in 50 countries. Eligible participants were older than 16 years, admitted to a participating intensive care unit, and receiving mechanical ventilation for 2 calendar days or longer. We defined weaning initiation as the first attempt to separate a patient from the ventilator, successful weaning as no reintubation or death within 7 days of extubation, and weaning eligibility criteria based on positive end-expiratory pressure, fractional concentration of oxygen in inspired air, and vasopressors. The primary outcome was the proportion of patients successfully weaned at 90 days. Key secondary outcomes included weaning duration, timing of weaning events, factors associated with weaning delay and weaning failure, and hospital outcomes. This study is registered with ClinicalTrials.gov, NCT03255109. Findings Between Oct 4, 2017, and June 25, 2018, 10 232 patients were screened for eligibility, of whom 5869 were enrolled. 4523 (77·1%) patients underwent at least one separation attempt and 3817 (65·0%) patients were successfully weaned from ventilation at day 90. 237 (4·0%) patients were transferred before any separation attempt, 153 (2·6%) were transferred after at least one separation attempt and not successfully weaned, and 1662 (28·3%) died while invasively ventilated. The median time from fulfilling weaning eligibility criteria to first separation attempt was 1 day (IQR 0–4), and 1013 (22·4%) patients had a delay in initiating first separation of 5 or more days. Of the 4523 (77·1%) patients with separation attempts, 2927 (64·7%) had a short wean (≤1 day), 457 (10·1%) had intermediate weaning (2–6 days), 433 (9·6%) required prolonged weaning (≥7 days), and 706 (15·6%) had weaning failure. Higher sedation scores were independently associated with delayed initiation of weaning. Delayed initiation of weaning and higher sedation scores were independently associated with weaning failure. 1742 (31·8%) of 5479 patients died in the intensive care unit and 2095 (38·3%) of 5465 patients died in hospital. Interpretation In critically ill patients receiving at least 2 days of invasive mechanical ventilation, only 65% were weaned at 90 days. A better understanding of factors that delay the weaning process, such as delays in weaning initiation or excessive sedation levels, might improve weaning success rates

Weaning from mechanical ventilation in intensive care units across 50 countries (WEAN SAFE): a multicentre, prospective, observational cohort study

Background: Current management practices and outcomes in weaning from invasive mechanical ventilation are poorly understood. We aimed to describe the epidemiology, management, timings, risk for failure, and outcomes of weaning in patients requiring at least 2 days of invasive mechanical ventilation. Methods: WEAN SAFE was an international, multicentre, prospective, observational cohort study done in 481 intensive care units in 50 countries. Eligible participants were older than 16 years, admitted to a participating intensive care unit, and receiving mechanical ventilation for 2 calendar days or longer. We defined weaning initiation as the first attempt to separate a patient from the ventilator, successful weaning as no reintubation or death within 7 days of extubation, and weaning eligibility criteria based on positive end-expiratory pressure, fractional concentration of oxygen in inspired air, and vasopressors. The primary outcome was the proportion of patients successfully weaned at 90 days. Key secondary outcomes included weaning duration, timing of weaning events, factors associated with weaning delay and weaning failure, and hospital outcomes. This study is registered with ClinicalTrials.gov, NCT03255109. Findings: Between Oct 4, 2017, and June 25, 2018, 10 232 patients were screened for eligibility, of whom 5869 were enrolled. 4523 (77·1%) patients underwent at least one separation attempt and 3817 (65·0%) patients were successfully weaned from ventilation at day 90. 237 (4·0%) patients were transferred before any separation attempt, 153 (2·6%) were transferred after at least one separation attempt and not successfully weaned, and 1662 (28·3%) died while invasively ventilated. The median time from fulfilling weaning eligibility criteria to first separation attempt was 1 day (IQR 0-4), and 1013 (22·4%) patients had a delay in initiating first separation of 5 or more days. Of the 4523 (77·1%) patients with separation attempts, 2927 (64·7%) had a short wean (≤1 day), 457 (10·1%) had intermediate weaning (2-6 days), 433 (9·6%) required prolonged weaning (≥7 days), and 706 (15·6%) had weaning failure. Higher sedation scores were independently associated with delayed initiation of weaning. Delayed initiation of weaning and higher sedation scores were independently associated with weaning failure. 1742 (31·8%) of 5479 patients died in the intensive care unit and 2095 (38·3%) of 5465 patients died in hospital. Interpretation: In critically ill patients receiving at least 2 days of invasive mechanical ventilation, only 65% were weaned at 90 days. A better understanding of factors that delay the weaning process, such as delays in weaning initiation or excessive sedation levels, might improve weaning success rates. Funding: European Society of Intensive Care Medicine, European Respiratory Society